منابع مشابه
Linearizing Intuitionistic Implication
An embedding of the implicational propositional intuitionistic logic (iil) into the nonmodal fragment of intuitionistic linear logic (imall) is given. The embedding preserves cut-free proofs in a proof system that is a variant of iil. The embedding is eecient and provides an alternative proof of the pspace-hardness of imall. It exploits several proof-theoretic properties of intuitionistic impli...
متن کاملIntuitionistic implication without disjunction
We investigate fragments of intuitionistic propositional logic containing implication but not disjunction. These fragments are finite, but their size grows superexponentially with the number of generators. Exact models are used to characterize the fragments.
متن کاملIntuitionistic Implication and Resolution
Some recent works rely on the intuitionistic theory of Hereditary Harrop formulas to provide extensions for Horn clauses while preserving the logic paradigm. In particular, an intuitionistic implication is used to provide some form of scoping. However the lack of appropriate evaluation strategies, notably a strategy relying on a forward-chaining search, has limited its application. This paper i...
متن کاملOn a New Intuitionistic Fuzzy Implication
Here a new intuitionistic fuzzy implication is constructed. Its relations with some forms of Klir and Yuan’s axioms are studied. Some open problems, related to the operations of intuitionistic fuzzy propositional calculus, are formulated.
متن کاملBi-implication Operator on Intuitionistic Fuzzy Set
Atanassov K. , Intuitionistic Fuzzy Sets. , VII ITKR's Section, Sofia, June 1983. Hashimoto H. , Sub-inverses of fuzzy Matrices, Fuzzy Sets and Systems, Vol. 12(1984),155-168. Murugadas P and Lalitha K. , Dual Implication Operator in Intuitionistic Fuzzy Matrices, International conference on Mathematical Modelling and its Application-2012. Sriram S and Murugadas P. , Sub-inverses of Intuit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1993
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)90041-b